Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue
نویسندگان
چکیده
The ioco relation has become a standard in model-based conformance testing. The co-ioco conformance relation is an extension of this relation to concurrent systems specified with true-concurrency models. This relation assumes a global control and observation of the system under test, which is not usually realistic in the case of physically distributed systems. Such systems can be partially observed at each of their points of control and observation by the sequences of inputs and outputs exchanged with their environment. Unfortunately, in general, global observation cannot be reconstructed from local ones, so global conformance cannot be decided with local tests. We propose to append time stamps to the observable actions of the system under test in order to regain global conformance from local testing.
منابع مشابه
Analysis of Bounds on Hybrid Vector Clocks
Hybrid vector clocks (HVC) implement vector clocks (VC) in a space-efficient manner by exploiting the availability of loosely-synchronized physical clocks at each node. In this paper, we develop a model for determining the bounds on the size of HVC. Our model uses four parameters, : uncertainty window, δ: minimum message delay, α: communication frequency and n: number of nodes in the system. We...
متن کاملEfficient Vector Time with Dynamic Process Creation and Termination
Many distributed algorithms require knowledge of the causal relationships between events. Examples include optimistic recovery protocols, distributed debugging systems, and causal distributed shared memory. Determining causal relationships can be difficult, however, because there is no global clock and local clocks cannot be perfectly synchronized. Vector time is a useful abstraction for captur...
متن کاملDynamic Vector Clocks for Consistent Ordering of Events in Dynamic Distributed Applications
A large number of tasks in distributed systems can be traced down to the fundamental problem of attaining a consistent global view on a distributed computation. This problem is commonly solved by appliance of vector clocks as a means of tracing causal dependencies among the events that characterize a run of the computation. In the paper at hand an extension to the concept of vector clocks is pr...
متن کاملRESCUE: Reputation based Service for Cloud User Environment
Exceptional characteristics of Cloud computing has replaced all traditional computing. With reduced resource management and without in-advance investment, it has been victorious in making the IT world to migrate towards it. Microsoft announced its office package as Cloud, which can prevent people moving from Windows to Linux. As this drift is escalating in an exponential rate, the cloud environ...
متن کاملBaltzer Journals Dependency Sequences and Hierarchical Clocks: E cient Alternatives to Vector Clocks for Mobile Computing Systems
Vector clocks have been used to capture causal dependencies between processes in distributed computing systems. Vector clocks are not suitable for mobile computing systems due to (i) lack of scalability: its size is equal to the number of nodes and (ii) its inability to cope with uctuations in the number of nodes. This paper presents two e cient alternatives to vector clock, namely, sets of dep...
متن کامل